I have been in the minecraft business since I was just a kid. At age 12 I started my own network of servers where it eventually grew to be big. I am very familiar with PEX, buycraft, and many many plugins. I also do have a server setup created already. I would gladly help you guys out as I know the feeling your son has. There is nothing better than owning your own server! Let me know if I can help!