Pacmania is a great game but can be pretty hard to find. Fortunatly when you do find them they are usually pretty reasonably priced.
Are you going to collect all the Pacs? Took me a long time to get them all. Believe it or not pacland was the last one for me and its not in very good shape. Still looking for a better cabinet. If you are serious about getting them all your going to need a professor pac. I can point you in the right direction for this but not sure if they will be for sale. I have one and I know two others that have two of them. Good luck!
I would be interesting in recording serial numbers for any pacland, pacmania, proffessor pac, dedicated jr pac. If you have any of these send me your serial number. It would be interesting to see how many of these somewhat rare games are still around.