When did BBC apply for the TARDIS trademark ?
TARDIS scale models of various sizes have been manufactured to accompany other " Doctor Who " dolls and action figures , some with sound effects included .