According to SQL Server Books Online you can either specify the file name or file id, so can't you then use DBCC SHRINKFILE (1, 2000)?
In their example they don't have any quotes around the file name, so maybe it will work if you omit them, e.g.
USE UserDB
GO
DBCC SHRINKFILE (DataFil1, 7)
GO