Yeah, you are totally right. I was doing it too quick and quoted the kWh/m^2/day value, which is NOT kWh/day! 🤦♂️
A 9 kW system at the OP's location, with a 45° tilt (I don't know if the OP is getting panels mounted flat on an existing tilted roof or tiltable mount panels), is 1287 kWh/month...