extra query

the autotimezone_page() updates the users table with new timezone. the "right" way to update is to just change the $user object with the new timezone and then call user_save(). not a big deal though.