@ beppe: hi there,
sure I know many places that use ox tail. I tried ox tail hotpot also
what I meant by 'any place use ox tails' was 'any place that sells Phở uses ox tails in their recipe'
although
Wikipedia confirms this, I think most places use beef bones instead.