I guess I'll never make a real plumber then! :-)

Somehow detritus left under my floorboards annoys me. I have found the
odd cigarette butt there too.

There's good reason to vacuum up any debris, as it is a fire risk. Just
leave the pipes, though. Better a few hidden pipes than a burnt down house.
The plumber was right to leave them there, IMO.

Christian.