PAT file extension - What is a .PAT format, and how to open it?