I would pour out all the gas, put n some old clothes and take it to car wash. Wash out with soapy water. Pour out and check inside for any residue and if any hit it again. Then take home and put where it can drain good without getting in your gras. Put garden hose in and let it run for awhile. Drain every bit of water you can. Then if you have a portable vacuumed that you can put hose on exhaust put hose inside and let it go for awhile to dry as much as you can out. Then just let it sit somewhere safe for awhile so you know it’s good and dry. You more than likely will still get gas smell even when cleaned good.