@brucemacg did you resolve this issue using the WOOf plugin? It is extraordinary that this is not part of normal filtering in WooCommerce.
Thanks; I will post there. I thought it would be a topic for developers given it is the WooCommerce own API that is throwing the issue