Oh I don’t know how I missed that unless you made an edit, but I also just woke up :) This price makes more sense.
23k didn’t sound too far off what an American installer would try charge for a new system in a high cost of living area, so this wasn’t too unbelievable.