I don't think it's possible to get a lens correction profile for a shift lens as the distortion varies with the amount of shift. If you have the same lens it would be interesting to see some shots where the building fills the frame and you have used a lot of shift. 2, 3, and 4 above were shot close to full shift.