Correct, the Tropicalia is too far but your starting point of 1015 15th seems close to where we need to be.
EDIT- is there a Sandwhich shop at the Subway entrance? Like where people board the actual subway?? UGH, times like this, I wish I've been to DC