I'll be surprised if there's a lock on any of them given the confusion and difficulty of stocking multiple SKUs.
They do it fine with most other phones. For example, when I got my Nokia 5800, I remember them having seperate phones just for O2 PAYG, O2 Pay Monthly, Orange PAYG, etc...