Wow! Do building codes allow that? I thought natural gas stoves had to be vented to outside.