  Recently, the authors extended the notion of parking functions to parking
sequences, which include cars of different sizes, and proved a product formula
for the number of such sequences. We here give a refinement of that result
involving parking the cars after a trailer. The proof of the refinement uses a
multi-parameter extension of the Abel--Rothe polynomial due to Strehl.
