  We first prove that for a Weyl algebra over a field of positive
characteristic, its norm based extension is locally Auslander regular. We then
prove that given an algebra which is Zariski locally isomorphic to the Weyl
algebra, its norm based extension similarly defined is locally Auslander
regular if and only if it is isomorphic to the original Weyl algebra.
