I think the actual model is shown in the BIOS setup.
pcg-9p6l is actually a PCG-K12P.
Sony has the most screwed-up model numbering assignment of all pc makers. Some of their pc's have 2 or more model numbers. Why they do this is a mystery to me.