High pressure cooker cooking timers