Hi, in answer to your question Mk1 and Mk2 7-40 are not full HD i.e. 1080P.
The 8-40 does not have ML as standard.
If considering purchasing a TV at that price level then take advice from any one of the three principal pre-owned resellers (in the world I guess!)
£4000 is top money, you should also consider a MK1 HD. Depending on whether you want a motorised floor stand or a 7-1/7-2 speaker you can purchase for around the £3250 mark from morethanAV, which I represent (7-40 MK1 HD, 7-1, motor floor stand).
However see what all of the pre-owned Companies can offer and what advice they can give you, if you go for a full HD 7-40 MK3 onwards the prices jump!