Go with a 15000...you will need it. Try to negotiate a street side and rear Zip Dee into the purchase deal. Those awnings make a difference around here. I also use a small fan to move the cool air around occasionally.
"If it can't be reduced, reused, repaired, rebuilt, refurbished, refinished, resold, recycled or composted
then it should be restricted, redesigned or removed from production."