> If the table is already opened exclusively by another user, whether he includes or excludes the EXCLUSIVE argument, the file access denied error will be raise regardless.

Right, but Mike's code will raise the error when the file is open NOT EXCLUSIVE too.

> I think Mike was just trying to be explicit and thorough.

I was trying the same thing.

dz