Yeah, any .co.uk (and possibly .org.uk) domains may mean you automatically got a .uk version registered on your behalf a couple of years back.