Well, further testing confirms that it indeed will work to simply stop the SQL services, move the data to a temporary location, create a new partition of the correct size,...

Yeah, the SAN would be able to shrink to the size we need but I haven't found an easy way to make Windows aware of the change. Well, maybe with...