NASA - Swades - Pathfinder

This is just an interesting titbit. Only Indians who are hindi movie fans and into Formal Methods will most probably notice this. In the movie "Swades", the main protoganist is a NASA employee and is visiting his own country (Swades). There is manning a bookstore for a friend. The bookstore is called "PathFinder". For all those who are familiar with software Model Checking know that there is a NASA product called the Java PathFinder. So this got me thinking on whether the mention of PathFinder was a coincidence or whether they knew it was a NASA product. The thing is they make it a point to show the name of the shop that what makes me think it is more than a conincidence.