From what I gather, 7.1.2 and 7.1.3 were only shipped with specific systems. You couldn't get them through retail channels. I'm not sure if the install discs would even work on any other system that they weren't designed for.