Looking for LOWEST BTU Roof A/C available-

I am looking for a power-miser roof A/C to replace my 13,500 BTU roof air the PO of my well-insulated BigFoot truck camper installed (throwing out the perfectly good OEM 7700 BTU unit). He did it f...