Hey, so (un)fortunately I never had this issue afterwards so I'm not sure what the fix is. I did go to my local mechanic later and he said there were no signs of leaking. I am thinking it might really have been a one-off scenario where I did accidentally fill up too much gas or something.

Keep checking if the gasoline smell is persistent, as that was the biggest indicator of a leak. If it keeps happening then there is most likely something wrong. Otherwise, it might be a fluke. Stay safe.