We just bought two new 12,000 BTU units for Rocky's at $32,900 pesos each. Let me tell you, our power bill has really gone down. We also bought an 18,000 BTU unit for our house at $42,000 pesos. We ran it almost every day since May for 8 hours a night and I have used it extensively during the afternoon for a couple hours during my nap and our power bill only went up $1,500 pesos a month. These are incredible units that work well and cost little to operate. They are worth their price as they will pay for themselves very quickly with much lower electric bills.
Not sure if they make a 9,000 BTU unit. I was told 24, 18 and 12 only but I could be wrong.
Take care,
Rick