Digital keystone correction sucks. Best to get a PJ with at least vertical lens shift I think @wittaj. projectorcentral has calculators for that sort of thing. I just don't know how accurate they are for all models.
Mine was a beast 20 years ago, so hopefully the newer ones are smaller lol.