Adding a dedicated RV power plug. What would you do?

I'm finally adding central air to my house, which affords me an opportunity to also wire in dedicated RV power. Their price for a basic 30 amp wall plug install is very reasonable, but I'm consider...