OK Herbie. I've now determined that 3.6l drained, and I'm now in the process of refilling with the old coolant to ensure that it really was full (to save wastage of new coolant).
Initially, I couldn't find the relevant section in the workshop manual, but I now have, so no need for you to look it up. There are two drains on the block, apparently.