This site has some good info on converting pools and hot tubs into ponds:
http://www.koiphen.com/forums/
From what I have read, you typically have to make some modifications because most hot tub/pool filters are not designed to handle the type of waste that big fish create.
Not sure if it's just the photos, but he looks like he's growing like mad.