How are your salvinii doing? I remember when you first got them. This guy enjoys his pond. Lots of fish and few razorvacks in there too. Eventually I'll get some females for him. Right now he's just enjoying life. He comes out early morning first light and comes out at night very interesting species . winter time I hear the pond to 75 for him. He's spoiledNICE! I bet he's happy in that pool.
sigh...I like to keep a triporcatus (or three) myself but they get even larger than the salvinii I already have. I pool/pond arrangement like you have would be the way to go for me except that we have major raccoon issues here locally from time to time.