Hey Castle guys, is this trade-in open to us guys in the UK? Same process as the guys int eh US are using, fill out a non-warranty repair sheet, etc.?

Looked on the Castle site and couldn't find details?