Vacation time: I will be on vacation from July 5th to July 15th, please don't expect any replies during that period. Thank you for your patience.