I typically just do option two, which is usually just buying a discounted wash from Kwik Shop when I fill up. I don’t like vacuuming my own ride, so every few months or as needed I’ll go thru a higher end wash where people vacuum it out for you.
About once a year I’ll take my car into a guy I know and he’ll really detail it up: wax, armor all type stuff inside, etc.
I have no interest in hand washing my own ride.