Oops, the original comment I was replying to is gone... I didn't notice before that people here seem to like to comment and then delete it a minute later.