may be fine then again its not my machine of his, myself I would find a way to pump most out one way or another, I had a VW Jetta many years ago, wife put in a couple gallons of gas before she realized, topped up with Diesel and ran fine, every day topped it off as a precaution.
myself I would find a way to empty it