Thanks guys.
Don, I was thinking along the same lines as you, except I didn't think of your option 3.
I'll put this question to my AHJ, but do any of you see a problem with cutting off the end of the cord? I guess besides maybe that a plumber will be fiddling around with it when it comes time to replace it.
