Personally, I'd go with checking the timestamp when you want to check
the page out, but you could add in an ajax routine to update the time
stamp every 60 seconds while it is being edited. It could also pick up
and warn the person editing that someone else was trying to get to it.