Nope, no gas smell that I've noticed. First used oil analysis did show some fuel in the oil though so I should probably keep an eye on that. That was about 15k miles before this starting quirk started showing up though.
I put it back on the battery charger and the lights indicated that it was less than 80% charged again despite being charged to 'full' a few days earlier. Charged it up overnight and it started up normally the next day.