In a mixing bowl, stir together soup mix, water, vinegar Worcestershire sauce and tapioca. Pour over pork chops. Add thyme bay leaves and garlic clove. Cover and set to high for 3 to 4 hours, or low for 6 to 7 hours, depending on how thick the chops are. I don't know why, but often times the chops will cook faster than usual or slower than usual. Therefore, towards the end of cooking time, check to see if the chops are done. They will fall apart when prodded with a fork.