PFA(S)[S] and locally compact normal spaces

We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of ω1 and in which all separable closed subspaces are Lindelöf.