I would have them install at least a 20A line which is current code. Modern pins typically run at about 2.8A in attract mode and can peak at 8A but I imagine that is rare, such as during a wizard mode. 4-5 pins should be no problem under typical playing. 6 pins at once means only 3.3A available for each pin which isn't much room for error.