Know of the size of this screw for simple replacement? Assume it is a common machine screw.