OK, you should have the RVP Coleman 15k Heat Pump. At 85 degrees outside ambient, the TOTAL amp draw will be 14 amps to 14.3 amps. Hi Fan. Discount the 2.5 amps for fan draw, your compressor should be pulling 12.0 amps. NOT 9 amps. Where did this so called tech measure the amp draw and did you see what kind of amp draw tool he used? At 9 amps, that would indicate a charge problem. But I doubt any of his diagnostics is correct or accurate. I still lean towards the separator gasket missing or not installed correctly. You HAVE to pull the top unit to verify this. Click this link and scroll towards the bottom where he has the AC on its side. That center gasket is the seperator gasket. Doug
https://www.amazon.com/Steele-Rubber-Products-Mounted-Gasket/dp/B07TW7QY16