OK, went with the boil down method as suggested. Boiled 4 litres down to about 1 litre. Then added the rest of the wort.
My efficiency went all to crap. Not sure if that is normal with big beers or what but I usually run about 83% and this time it's more like 67%. But, it was also really cold in the garage today and over-heated the mash water and mashed in way too hot. I should have cooled it down first so I don't know what sort of damage I did to the enzymes (temp was 180 when I had everything stirred in, added cold water down to 156).
Pre-boil was 1.075 before I added the lactose.