Took another stab at it today and noticed something new right at quitting time: if this car arrives at a landing with both an up and a down call latched, the car will cancel both hall calls. More to look at tomorrow.