Thanks. I just asked a dealer and he confirmed that the house would win that hand because the joker would be used as a king. The general rule is the joker can substitute for any specific card not already in the same hand as long as it completes a straight, flush, or straight flush. Otherwise it is treated as a fifth-suit ace, thus allowing for the possibility of five aces.