Thread:Shabook/@comment-33730377-20180117201655

I noticed you deleted my post at the Tinkerer talk page. I wanted to ask if Phineas Mason is referred as Tinkerer during the credits, because IMDB is not exactly a proper source since it can be edited. 